added expressions to semantic model
removed unused header
changed Expression -> Exp to improve code layout
added decrement statement
fixed single run execution
added statements to semantic model
added function to semantic model
cosmetic
wired Every execution strategy