added rules and added note to fix IfThenStmt for number of arguments