conditional constraints for Case
add additional example (exR2) show we still need polyvariant recursion
with the improved precision of the data flow analysis