Sorry, on reflection the above is not true. The tune draws on a family of tunes that includes My Old Man's A Dustman, Oor Wee School's A Great Wee School, and others. And there is more to the tune than that, but I cannot currently remember / puzzle it out.