Bound variables in executableForm transformation

bound vars go to patterns only on the left hand side of a def, NOT on the
right side and NOT in the condition.