Print the used prover and induction variables and also failure messages from them