Tagged the IR generated methods to assist code generation of the concurrency mechanisms of VDMPP