Fix rule printnig by dealiasing multiply existential/negation indices;