Fixed order of parameters passed to instanceof_function()