This change rewrites the Parsimonious grammar in remove-aliases.py to parse more generic aliased statements instead of assuming a strict left-hand-side |- right-hand-side entailment structure. The grammar now treats |-, *, and & uniformly as statement separators, simplifies expression rules, and updates the visitor methods to match the new parse tree shape. In practice, the alias remover should now work on a wider range of inputs with less special-casing.