bugfix in `Util_tip`
bugfix in `Util_tip`

if/then/else does not commute with quantifiers, variables can
escape their scope

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition