Fixed an issue causing a stack overflow under certain circumstances when using a negative constraint style law (impossible / never).