Bugfix in translation: In case of quantified expressions or predicates, 
a superfluous bound variable name was put on the stack, resulting in wrong
resolving of bound variables.