rename Prover to SequentProver
Add BinaryExpression to simplify structure
Init PropositionProver