pub const SIMP_STEPS: usize = 256;
How many rewrites one simp makes before it is refused as not terminating.
simp