refactored verb spec
moved initial to object
IF::ObjectContext#moved? spec and impl