Memory Model: Inconsistent results after reverting assumption

Look at this video: 2019-06-18_15-53-28

At the end, I have 3 solutions, add a constraint, remove it again, and then there are only 2 solutions.