Function symbols

Redirect to:

• Uninterpreted function