add test precondition