Symbol: causes_cycle