Search algorithm should use grounder translator
Issue #614
new
Or improve theorysimplifier so it can be used by default. Example: zune player
Or improve theorysimplifier so it can be used by default. Example: zune player