Yices: Evaluate terms in current model for more complex get-value expressions