Extend ApronInvariantProc to handle Comrules
Strategy: Generate Invariants if everything fails
More precise loggin
Make cintfarkaspolo match cfarkaspolo
Make cintexpfarkaspolo work again (and it's proven now)
Now that we use slicing, be more careful about vars
Make cintmeta match cmeta
Bugfix: No rules no vars, don't lose your head