Added soundness check
Moved some methods from simplex to tableau