Update inference-control.rkt