Uninterpreted functions support added.