TSHOOT 2.0 : Logging & Path Verification