Add better error message in case 'temp var in local?' cannot make a valid decision because of a potential write race.

Conflicts:
	MEMO

Also catch branch-in-domain-tree if necessary.

(Mismatch between Python exclusive and isl inclusive semantics...
Treatment needs to be symmetric for isl.)