Added explanation remapping to original input as described in Section 5.6 of the paper. Explain unit test has to be adapted still