let sv_at_0 sv = Var.mk_state_var_instance sv Numeral.zero |> Term.mk_var