only unit propagate hard clauses, not templates (clauses with constants)