(Promela) Refactoring, separating general functionality from promela specific functionality. Added a Class to describe a variable dependency graph.