Syntax checking of rules