This change adds a targeted cleanup step in remove-aliases.py to strip a specific &{FLOW,(20,21)=__norm#E}[] suffix before entailment processing continues. The issue was likely causing unrelated flow metadata to be treated as part of the logical entailment, which could break or confuse the downstream fixpoint logic. In practice, alias removal should now behave more predictably on inputs that include this extra annotation.