fixed the moment in which the transitive closure of the domain is computed, and also when the initial configuration is emptied