synthesize def paths for unresolved elements and compile-error tree paths