simple symbexec logic, raised abd timeout
Made the prover do simplification again.