Begun updating ObjectiveCriterion to new #satisfied? specification.