Update Inference.scala