rej14: Concretization iteration is working, results need to be checked