Added a simpler android example to show the same previous bug as in the android game program. The function primStartActivity has a role of creating a new activity. Changed AllocObjs to have the type of each contexutal object. Fixed a bug in handling C_activation by resolveConstraints. Each new type variable should carefully be created, otherwise, the solution will have a new entry for the new type variable to cause the fixpoint loop for ever. Illegal uses of putConstraint insider the resolveConstraints were replaced with retuning the constraints. Changed the aux function inside resolveConstraint to reference the activity type if the activity object of interest is already registered.