ResolvesTo extractor added, Resolved extractor renamed to ResolvedWithSubst to avoid wrong usage
generated testdata changed for debugger tests