Bugfix: nested pattern matching no longer generates redundant "Res = ..." statements.