Added unit tests for test_pleonastic_it, fixed bugs in test_propose