let reset a x =
    for i = 0 to num_of_theories - 1 do
      set a i x
    done