Term counting: Can often lower-bound constant relations

[tnelson]

If a constant relation is populated with an atom that cannot appear in any other non-parent, we can put that atom in the constant's lower-bound safely --- signifying that that atom represents the constant. +