Add rules-checking library