todo: test pol simplif. deal with double actions. deal with awkward joins.