Andra Hugo 631a599c05 move dichotomy out of the policies 12 lat temu
..
examples 545f5f5b3b rename hyp last step 12 lat temu
include 631a599c05 move dichotomy out of the policies 12 lat temu
src 631a599c05 move dichotomy out of the policies 12 lat temu
Makefile.am 6bcd0d3c6e rename + comments in the public interface 12 lat temu