Update Inferencer.scm