xml parser compiles, file is parsed, program crashes while translating DOM tree into justification_map