"int" mode for variable purification
"int" mode for variable purification

 purify only if var occurs applied and unapplied.

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