Reversing the inverse_of merge, too impractical to implement in both
branches and benefits are not clear yet.

This reverts commit d70d13edf4ea6beda8edb52f0170c5bafc491dd5.