Operation arity cannot be specified
The generator currently does not limit the number of incoming edges per node, and thus is unable to guarantee a predefined arity for an operation (e.g., a binary add should always have exactly two incoming edges).