Some work on implementing reduction to CNF to help with implementing JOINs