Predicate signature Make::LogicInputSig::additionalNullCheck
Holds if guard evaluating to val ensures that:
e == null when isNull = true
e != null when isNull = false
signature predicate additionalNullCheck(PreGuard guard, GuardValue val, Expr e, boolean isNull)