Forgot to push and pop context on sat check in forward propagation
Merge pull request #48 from chsticksel/kind2-server

Forgot to push and pop context on sat check in forward propagation