include php-token-reflection