Fixed an error in the reachability code
smt ss
Fixed
Merge branch 'smt' into past_operators
Making fixes to data
Added support for almost all data. Channel-data support is missing. need to make pure semantics function semantics for data rather than impure semantics. need to add support for declaration of signals in systemjc.ml