output operator CFG tested
check string CNF tested
already_checked in CNF tested