Create traces are now longer hidden since we need them in LTL constraints
Added more happens before constraints
Added helper function 'contains' for objects and arrays
Switched to appropriate lodash method
Added contains helper to grammar