Number of steps RP-Rewriter can take when rewriting a conjecture.
Similar to the built-in rewriter (see rewrite-stack-limit), RP-Rewriter has a rewrite step limit. This can be changed with
(set-rw-step-limit <number>)
