This approach has the advantage of not requiring any additional run-time mechanism (only compile-time analysis needs to be improved to detect these cases). On the other hand it is still an open question whether this generalization does really improve the applicability of and-parallelism.