Fix side conditions on the inferencer