New tool update_state; just a command-line wrapper for propagate_state()