Option to enable/disable cyclicity check in datatypes.