(Promela) Fixes and refactoring
(Promela) Added functionality for figuring out what input is needed and which channels are input/output to the partition under scheduling. This is used to generate ltl expressions and input sequences.