Added test for generation of record cycles (e.g. RecordA has a field of type RecordB that in turns has a field of type RecordA)