Removed buffering from eqprover