Add 2QBF testcases: 23 is failing.
Move 2QBF testcases in intensive and replace by ground programs.
Fix bug with dependencies from non-supporting rules.
More testcases.