Figure out subtheory dependencies from the FOL representation