add unknown_jump opflag for the special case of a jump where we can't directly influe...