/** *************************************************************** */ public static void main(String[] args) { // testParseProofStep(); // testParseProofFile(); testE(); }