When a buggy rule is discovered, even though the logical formula is still equivalent, and the user has explicitly selected the rule he intended to use, we now report the buggy rule in the BUGGY category. Changed test case accordingly. 
When a buggy rule is discovered, even though the logical formula is still equivalent, and the user has explicitly selected the rule he intended to use, we now report the buggy rule in the BUGGY category.
Changed test case accordingly. 

git-svn-id: bcf1007ea3ea39647a31cb6b6eab17d5210c51ee@6531 d9a34ac6-6904-0410-8848-93d71bbb9804

ideas-edu/ideas