If a Normally Closed REX button is used the Input Inverted option should be set for the input to ensure pushing the button will generate the REX event.