In earlier versions of the Prolog analysis, it was not possible to formulate constraints like `Data with characteristic x is not allowed to flow to a node where data with characteristic y flows to". However, with the increased expressiveness of java-based constraints, this might be possible. This should be investigated.