@w7cook: Should this line be entirely removed or just everything before `%Expr1`?