The current SUIF system is a major revision of an earlier version [12]. Some of our previous work has not yet been ported to the new system and is not available at this time. We hope to include it in a future release.
Our scalar optimizer is known to fail under some circumstances; it will eventually be replaced.