Rewrite can-take-step? predicate