fixed on_var and rewriting * to /\ wrt quantifiers (again)

with @rgrig
Merge branch 'alt-abd' of github.com:seplogic/corestar into alt-abd

merge