Macro Ensure-Condition

Part of:

package lift
( ensure-condition < condition > &body < body > )

This macro is used to make sure that body really does produce condition.