#KJ-80 7. Cleanup the dependencies between the two semantics. Eliminated the dependencies on preprocessing and elaboration modules from execution semantics. For this we had to create 3 labels modules: one for each semantics.