Minor changes for the translation of propositional functions.