Collect abstract register environment data and procedures into a module
Add a file to collect things related to flow semantics