Bugfix: formal scrutinees now work with eliminated switch statements.