private void PurgeAccumulators() { statements.Clear(); logicBlocks.Clear(); currentImplicationData = new ImplicationData(); }