Added a test for a strange fail I could not replicate
Refectored TransitiveChecker
Removed transitive creation
Fixed tests for Transitive middle based on Lens
Merge branch 'Develop' into Christian

Fixed Conflicts:
	loader/test/uk/ac/manchester/cs/openphacts/ims/loader/BugTest.java