commit of verification long standing branch

if ```constraint.isSubstitution``` then I understand this method should return ```BoolToken.TRUE```. But what if ```constraint.isFalse``` is true, shouldn't we return ```BoolToken.FALSE``` instead of null?