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