Introduce a mapping for original and substituted edges in order to handle the
``solve'' method for Terranova integration.
Introduce a new test in order to assert some conditions on the ``solve'' method, in
particular for checking that the substitution of objects works and none of them will be lost.