fix bug in compilation, that skips the test if a class implements the interface of the spec