Added the ability to declare uninterpreted functions