rewite: TimedOp, infer