An extractor which provides informations about the running time of the simulation.
Extracts properties from an environment. The returned map must either: