private void stage3Statement ( final ProtoNetwork network , int pct ) { stageOutput ( "Equivalencing statements" ) ; int sct = p2 . stage3EquivalenceStatements ( network ) ; stageOutput ( "(" + sct + " equivalences)" ) ; }
Stage three statement equivalencing .