Update Unification.scala