src-gu/mir-reasoner/src/reasoner/MicroReasoner.java
//returns true if tp2 is in the provenance for tp1
returns true if tp2 is in the provenance for tp1
returns true if tp2 is in the provenance for tp1
private boolean containsPair(TaxonPair tp, TaxonPair tp2){
		String articulation = ".*" + tp2.getTaxon1() + " [=o<>!]+ " + tp2.getTaxon2() + ".*";
		if(provenance.get(tp).matches(articulation))
			return true;
		else
			return false;
	}
private boolean containsPair ( TaxonPair tp , TaxonPair tp2 ) { String articulation = ".*" + tp2 . getTaxon1 ( ) + " [=o<>!]+ " + tp2 . getTaxon2 ( ) + ".*" ; if ( provenance . get ( tp ) . matches ( articulation ) ) return true ; else return false ; }
returns true if tp2 is in the provenance for tp1
returns true if tp2 is in the provenance for tp1