add type checking phase line information