Add remote procedure flag to get export to C

properties/properties.py

@@ -91,6 +91,7 @@ def parse_input_files(pr_files, ppty_file):
         proc.procedures = process.procedures
         proc.operators = process.operators
         proc.content.parent = process
+        proc.exported = True
         start = opengeode.ogAST.Start()
         start.transition = opengeode.ogAST.Transition()
         proc.content.start = start