Workaround for bug in StrategoTermPath.getTermPathWithOrigin(..)