in induction, remove trivial clauses before attempting induction
in induction, remove trivial clauses before attempting induction

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition