reverts changes in recursive inference error