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