multiple bugfixes in Meta prover