Warnings for unsafe variable on boolean checks stopped working after #7015 because variables of the right clause are unbound on the left clause. Fixes #7044
Warnings for unsafe variable on boolean checks stopped working after #7015 because variables of the right clause are unbound on the left clause. Fixes #7044