Add anti-patterns and executable examples for U1-U4 constraints

Co-authored-by: fermga <203334638+fermga@users.noreply.github.com>

Author: Copilot