Static lazy constraintsΒΆ

TODO