text updates
change guard to assert
fix for nested named constraints