Here's a sneak peek at the current state of development for showing constraint violations on statements