}
} else if ( msg instanceof VerifierRangeCheckMessage ) {
System.out.println( "\t CAUSES (range):" );
VerifierRangeCheckMessage amsg = (VerifierRangeCheckMessage) msg;
for ( Iterator iterator2 = amsg.getCauses().iterator(); iterator2.hasNext(); ) {
Cause c = (Cause) iterator2.next();
System.out.println( "\t\t" + c );
}