Parse successful.
Found duplicated branch: `TT`.
When checking the declaration of `duplicate_branch`.
Type-Check failed.