add LTL_AST.__repr__ that returns formula str
local is explicit, global is implicit
add function: infer_constants that replaces non-variable names by constants

to be called by users if they prefer not to enclose string values in double quotes.