Incomplete but working with tweaked unification-fd