fixed bug with printing quantified expressions