Member predicate UpperBoundCheck::barrierFor

Holds if this should be a barrier for a flow state with bit size bitSize and architecture bit size architectureBitSize.

This includes flow states which are transformed into other flow states.