Added support for PHP strlen(...) builtin function