// int rootPatternOrderNumber = this.getRootPatternOrderNumber((PatternComponent) message.getFaulty());
// System.out.println(((PatternComponent) message.getFaulty()).getPath()+". Order= "+rootPatternOrderNumber);
// }
// }
verifier.dispose();
}
// private int getRootPatternOrderNumber(RuleComponent pattern){
// if (pattern.getParentPatternComponent() == null){
// return (pattern instanceof PatternComponent)?((PatternComponent)pattern).getPatternOrderNumber():pattern.getOrderNumber();