Added goto-instrument as presently used in the experiments