Add output message for ASSERT. Fix bugs in merge and widening. Simplify Apron Interface.