Autodebug in dbmode

[grandrew]

1. run each procedure as goal
2. relax math constraints - one by one
3. find changes from last solved version and solve these changes added step by step one by one
4. release string constraints values one by one
5. solve counting constraints inreasing one be one until not solved

not touching JOIN constraints (see foreign keys)