private void stage5Statement ( final ProtoNetwork network , int pct ) { if ( pct > 0 ) { stageOutput ( "Equivalencing statements" ) ; int sct = p2 . stage3EquivalenceStatements ( network ) ; stageOutput ( "(" + sct + " equivalences)" ) ; } else { stageOutput ( "Skipping statement equivalencing" ) ; } }
Stage five statement equivalencing .