[testing] failing test case for check that abstract methods are implemented; cf checkObject in AbstractMethodChecker.scala.
