disable unate lemmas when using incremental mode