analyze_subprog
err = analyze_subprog(env, callee_args, info, callee_instance, callsites);
err = analyze_subprog(env, NULL, info, instance, callsites);