Member predicate CompareLTInstruction :: isStrict
Holds if this relational instruction is strict (is not an “or-equal” instruction).
predicate
isStrict
(
)