Fixed bug with minimize of cartesian abstraction. :-(