* lang_php/analyze/checker/check_variables_php.ml: allow Arrow in more contexts