On Verification of Token Self-Cleanness of Data-Flow Program Nets