rej14: Prepare some structures to iterate on concretizations