Beginnings of PC* algorithm implementation.