Extend Yices analyses to deal also with user-defined functions calls
(from redmine: issue id 1000, created on 2012-10-14, closed on 2013-01-17)
- Relations:
- parent #999 (closed)
(from redmine: issue id 1000, created on 2012-10-14, closed on 2013-01-17)