added mockups for highlighting constraint violation