thus not InsCode (f :=<0,...,0> a) is jump-only ; :: according to AMISTD_1:def 2 :: thesis: verum