Add SymbolicNumberOfExpr