added timout to termination prover