Maybe start with unit tests on normalization, predicates, expected CSE output, etc.
Maybe start with unit tests on normalization, predicates, expected CSE output, etc.