[CT-check] Check if rule are used but not declared, it closes #11.