Entry point of the monitoring program: it launches the monitoring process over the formula f.
the result of the monitoring process.
the formula to monitor