fixes bug: recordBranch records case analysis expression instead of matched alternative expression