spec: branching works for expressions like lval==i and lval!=i
TODO:
- do matching for all elements of a  May-Set
- more intelligent join that takes the graph into account