Add constraint and assertion