Computing time as a program variable: a way around infeasible paths