Change removeAliasLabels to updateAliasLabels; also make variables roundtrip properly
Replace removeAliasLabels with updateAliasLabels, and make prolog variables round-trip properly.