Add instances for constraint NoCycles