add assert rules.