Text this: The Generalization of the Extra Element Theorem for Symbolic Circuit Tolerance Analysis