WIP: adding CCS information to ClosureInfo