toRE ordering issue fixed to account for greedy semantics of alter