Use ScalaCorrespondenceMatchingDemo.scala