COMP: Cons-correctness fixes for Stepper getters