let svariable () =
    variable Set.empty