version 1.1.2

Fix bug on quantifier expressions