remove comments
remove no-longer-accurate comment
normalize set rules
add test case to prevent regression
remove breakpoint
Merge pull request #33 from nnutter/set

fix an issue that caused sets to identify by an unflattened BoolExpr