let occur_check y xs =
    if List.exists (F.eq_var y) xs then
      Wp_parameters.fatal
        "Quantification of constrained variable"