changed the grammar so you can bind variables to state values and then write LTL formulas. Please see let_binding files in the tests folder