Validator: Check if a stream expression terminal produces a boolean, double or collection

[maxkratz]

Validator: Check if a stream expression terminal produces a boolean, double or collection. In the latter case an error must be thrown!

Example:

patterns.networkRule->filter(m2 | m2.nodes().root != null & self.nodes().virtualLink != m2.nodes().root)

-> If this statement is the sole statement within a constraint or objective, the validator has to complain! This can not be translated to neither, an ILP constraint nor an ILP objective.