intermediate commit - updating concretizer