contraint-reset! implemented