Substitutions for powers with new symbolic variables

Does anyone know if there are other Julia functions that can substitute “x*y” by “a”? I had a discussion with Symbolics developers about it, but it seems to be a deadlock now. Please kindly see the discussion here,