* @param proposition the proposition that will be monitored
* @param calls a value holder accumulating calls
* @return the proxied proposition
*/
public static Proposition monitor(Proposition proposition, AtomicLong calls) {
return new MonitoringProposition(proposition, calls);
}