adding seidel-2d execution trace reconstruction