Fixed bugs in data-flow. Schnieder's data-flow logic is outright wrong, I have the fix, which depends upon the label of the LTL state in the LTL formula. Next, I need to apply that technique. Also, need to fix the signal declarations and reset in the backend. Finally, need to finish the PROMELA backend