Updated copyright notices. Reviewed-by: jjg, jlahoda
When inferring lambda's thrown types, avoid tracking variables that are not under the lambda to avoid crashes. Reviewed-by: vromero