Adds another test for empty solution space