check new restriction defined by spec