Made it possible to not depend on Apron (fixes #7).

Without Apron, invariant generation will be disabled.