- fixed bug when reusing variables in a different typing context
	 - fixed bug with boolean
	 - fixed bug with negation and GMP integers
	 - fixed bug with conditional and GMP integers
	 - fixed wrongly generated oracles