Seperate the past context for performance

[hai-nguyen-van]

The past context could be separated into two contexts with respect to the current simulation step index:

• A context with current constraints
• A context with already satisfying constraints that no longer require to go through the arithmetic and logic solver