Towards a modularized backtrack; still defective.
Notes on backtrack