add the instantiation result for transitive closure, also add a switcher for dynamically controlling the number of contexts appended in alloc
resolve conflicts