Member predicate FlowStateTransformer::transform

Gets the flow state that flowstate is transformed into.

Due to limitations of the implementation the transformation defined by this predicate must be idempotent, that is, for any input x it must be that:

transform(transform(x)) = transform(x)