Changed OneLocationInfo to BasicBlock