Check consistency of an input Enclosure used for evolution

[lgeretti]

Enclosure classes are not sets actually, but they carry extra information which is dynamics-specific and if brought externally as input may be inconsistent with the system. Still, we need those to resume evolution for reachability analysis or in general if in the future we want to save the evolution state and resume at a later point.

For example, the auxiliary mapping in an Enclosure should match the auxiliary function in the dynamics.

We should verify that Enclosure input is consistent with the system.