Added tests for the translation of propositional functions.