Converts each record into a es.ucm.fdi.sscheck.prop.tl.flink.TimedElement, adding the timestamp provided by ProcessFunction#Context.
Converts each record into a es.ucm.fdi.sscheck.prop.tl.flink.TimedElement, adding the timestamp provided by ProcessFunction#Context. That means this will fail if the time characteristic is ProcessingTime. So far this has been tested with event time.
Note: the DataStream is created with StreamExecutionEnvironment#fromCollection so it is not parallel