This package contains the rules for the specification validator