Friendlier error message for missing terminator in last BB of a function