private boolean mustGeneratePO(ISCContextRoot root) {
   try {
     for (ISCAxiom iscAxiom : root.getSCAxioms()) {
       if (iscAxiom.hasAttribute(ContradictionAttribute.ATTRIBUTE)) {
         if (iscAxiom.getAttributeValue(ContradictionAttribute.ATTRIBUTE)) {
           return true;
         }
       }
     }
   } catch (RodinDBException e) {
     // TODO Auto-generated catch block
     e.printStackTrace();
   }
   return false;
 }
 private IPOGSource[] createSources(ISCContextRoot root) {
   List<IPOGSource> sources = new ArrayList<IPOGSource>();
   try {
     for (ISCAxiom iscAxiom : root.getSCAxioms()) {
       if (iscAxiom.hasAttribute(ContradictionAttribute.ATTRIBUTE)) {
         if (iscAxiom.getAttributeValue(ContradictionAttribute.ATTRIBUTE)) {
           sources.add(makeSource(IPOSource.DEFAULT_ROLE, iscAxiom));
         }
       }
     }
   } catch (RodinDBException e) {
     // TODO Auto-generated catch block
     e.printStackTrace();
   }
   IPOGSource[] arr = new IPOGSource[sources.size()];
   arr = sources.toArray(arr);
   return arr;
 }