Check rules with prerrequisites