Symbolic Evaluation with Structural Recursive Symbolic Constants