Add complex test case involving multiple backtracks of root level variables
Add complex test case involving multiple backtracks of root level variables

berkshelf/solve,danielsdeleo/solve,peertransfer/solve