add assert/enforce