This directory contains examples of some optimization cases that the plugin
tries to handle:

1) In join-constr-app.hs $j_sm2u must be inlined to eliminate SeqParseL and
   SeqParseR by case-of-case transformation.