Unrefined version of Ullmann, but with edge labels