Hi Alessandro, I would still advise to just let this empty() construct die a natural death.
If you want to change anything, you must remember that it's basically a syntactic sugar for `@!$var` For example if(empty($var)) is just if(@!$var) To change this function would require changing the rules for type juggling.
