added support for abstract patterns that match with concrete trees in
switch
cases