Added a few comments to Executor::getLastNonKleeInternalInstruction()
emphasising that the function cannot be returned from early.