tailor output towards planners

[tobiaswjohn]

tailor the output, i.e. structure for the derived predicates to suit planners better.
Current problem: Planners are not good at negating derived predicates due to their nested structure
Solution: apply some form of Tseytin transformation