target = RandComplex cg.enumerate_random = true #report.console.property_violation=error,trace