improve test for add precondition assert