from t1 in A
join t2 in
         (from v in val
          from s in state
          where v.id == s.id && v.tr == 1
          select new { v.id,s.prop})
on t1.id equals t2.id into tmp
from t in tmp.DefaultIfEmpty()
select new {t1.id,t.prop}