Hey guys,
A very nasty bug exists in IDE 0.0.7 whereby all ASSERT statements will appear to pass. A fix for this has been released as IDE 0.0.8. We recommend upgrading immediately:
http://leaflabs.com/docs/maple-ide/
We're really sorry about this; a sloppy redefine in a libmaple refactoring was to blame.