Throwing a NotSupported exception if TLC has to enumerate an infinite set.