Title: Variable bound in the extracted subexpression.
Goal: accept
Parameters: [{file,"ef10.erl"},{posrange,{113,318}},{name,"extracted"}].
Documentation: The case distinction is extracted from the function computing the solutions of the quadratic equation. The extracted subexpression contains a variable DR in a pattern (binds the variable), but this variable is not used outside of the subexpression, therefore the transformation is accepted.
