Added basic process-level var generation
Extended test13 to include math expressions
Added integer arithmetic expressions generation
Refactor assign expression generation into its own rule