Added a locally unquie label to each primitive (particularly, to each primStartActivity). Refined each allocation label with an extra information such as NoRefinement and RefinedLocBy. This is because a single primStartActivity can be considered to create more than one Activity class. Each C_activation constraint now carries a context (of each occurrence of primStartActivity)and an allocation label (of each occurrence of primStartActivity). The function resolveConstraints can register a new allocation label, can create a new activity object, and can propagate the intent type used in this activation to the intent field of the activated Activity. The function putAllocTableEntry is maded to be modular, and it can be replaced by regiserAllocTableEntry, plusk, and putAllocObj.