Send define-fun to SMT solver