+ working with arbitrary CNF input + input with interval of variables