let get_step_var_list current_state_vars res =
  List.iter
    (function
        Base(Var i) | Prime(Var i) ->
          if (not (List.exists (fun x-> x = Base (Var i))!res)) then
            res:=!res@[Base(Var i)]
      | _ -> ())
    current_state_vars;
  !res