moved Hash/Equals to germ_ros; added predicate initialization; track
predicate truth across output
added and tested diff; improved output somewhat; tested graph database