Step rendering is conditional w.r.t. guard