Make.Executor
val run : 'a t -> 'a Output.t Current_incr.t
run t is the output value of t (i.e. without the static analysis part).
run t
t