Symbol: find_canonical_prog_ctx_type