GroundedSchemeNode: add an 'exclusive' predicate.
Atom: add sanity check code.
EinsteinUTest: Fix the debug printing code.
virtual links: bug fix for cleanup.
EinsteinUTest: use the exclusive rule.
EinsteinUTest: fix the by-elimination rule
Extended by-elimination rule.
More elimination rules.
More by-elimination rules
EinsteinUTet: add some debug printing
Merge pull request #963 from linas/e2

EinsteinUTest expansion