Fixed diseq update after repr change

The problem was that the old timestamp was cleared and therefore information,
which was needed after backtracking was lost.
Also implemented multiple tests in order to track the bug down.