sorry for breaking the build, this should fix it

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2352 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
I renamed the "ancestors" member of FormulaOccurrence to "parents" to reflect that it only contains immediate predecessors. I also added a function "ancestors" that returns the actual ancestors.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2353 85d21ef8-add0-11de-ae77-5bfb9c5a3f34