handle define-fun
parsing get-model response