Call super in leftmost leaf rewrite.
Binary choice.