Add a helper: instructionIsEntry

Returns True if the instruction is the first in its basic block.