Rename inference.ss to inference.rkt