Predicate signature LangSig::ignoreExprBound

Ignore the bound on this expression.

This predicate is to keep the results identical to the original Java implementation. It should be removed once we have the new implementation matching the old results exactly.