Avoid dobule evaluation of IS-FALSE's argument