Are you sure because it makes no sense that it works, unless they started to include Pricedures$ProcedureX by default, in which case I bet it will continue to work without any imports what so ever.
Functions and Procedures are separate classes. You can use Procedures if you only import Functions because they are not the same thing. Just like I can’t use ArrayList when I only import HashMap.
So the only way it can work is if Procedures is already imported by default. And if Procedures is imported then Functions almost certainly is too.