Add precondition on tools
Add product