Function ensure_jumpdest 

pub(crate) fn ensure_jumpdest(
    dest: usize,
    jumpdests: &JumpTable,
) -> Result<(), SymbolicError>