[saxon-upgrade] added true() and false() functions