Add Script Constraint document
Add tests to check that one upgrade step can not be solved if the previous has divergencies