The termination check for the program prover is based on size, so it isn't very good. There are lots of better options available.
The termination check for the program prover is based on size, so it isn't very good. There are lots of better options available.