Instruction and basic block navigation bindings