Mimir/state/mimir-program-composition.cc