[ew:uml] Call checkFormula from associated prover
[ew:uml] Call checkFormula from associated prover

- replace class Prover with ProverCaller interface
- add Z3Prover implementation

team-worthwhile/worthwhile,team-worthwhile/worthwhile