Added constraints to propagate local-variables information with every constraint that doesn't touch them