We should implement a rule to check this for each subclass of Spec, so the Smalltalk Tools are not used in it