Added test for propositional functions.