Allow expressions to evaluate to values in temporal contracts before creating monitor.