infer jq_array
infer phi type related to jq_Array