remove unused Variable.get_full_state()