tests, disabled by default (computes all the solutions)
renaming of methods