Relations is a list, not a set
InfiniteType -> InfiniteExpression
Enable test: wrongRecurseMissingArg