Parser stores proof nodes for axioms