Update WideRelation.scala