cleanup and preventing fix in Induction
cleanup and preventing fix in Induction

- be careful to skolemize type variables properly before making coversets

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