Interprocedural: Create objects in ctxt when needed