Add detection of cyclic dependencies

[VictosVertex]

I think the last remaining feature from clingspector that is not yet natively supported by the constraint_handler is the detection of cyclic dependencies of variables.

Once this is implemented, we can probably remove clingspector entirely.