is_cyclic is now not included in region
generalize the compliment function for a region