enable dagify again, because one testproof increased from ~22k nodes to 45k;
proofparser use map instead of arraylist