Update OpenIESpecTest.scala