GrammarTest: add three more tests that test log_probability under proposals