Miscalculation of final state after formal equations added

[siddhartha-gadgil]

• One should check whether events are correct.
• This was found in a complicated situation, should regenerate in a simple situation.