Implemented InequalityProofGenerator and some minor changes in ProofGenerator