one more example, and Specs.forAll does not provoke a crash at runtime anymore (a warning instead that its body has not been replaced by the plugin)