Libraries to support StrategoXT debugging