iterate over the heuristics in the main solver loop
instead of the maze of recursive functions, we should iterate over all the argument lists which get sent to the database-with-plugins (already the case now) or heuristics (already done: iteration for the arguments, but not done: the list of heuristics itself)