Add code of properties as return statement

properties/properties.py

@@ -96,6 +96,7 @@ def parse_input_files(pr_files, ppty_file):
         decision = opengeode.ogAST.Terminator()
         decision.kind = 'return'
         decision.return_expr = each
+        proc.content.start.transition.terminator = decision
         proc.content.start.terminators = [decision]
         proc.content.start.transition.terminators = [decision]
         process.content.inner_procedures.append(proc)