if( checkSmallStep() ) { if( verbose != null ) verbose.println("WARNING: Small steps");
if( checkSmallStep() ) { if( verbose != null ) verbose.println("WARNING: Small steps");
if( checkSmallStep() ) { if( verbose != null ) verbose.println("WARNING: Small steps");
if( checkSmallStep() ) { if( verbose != null ) verbose.println("WARNING: Small steps");