More proof support for CASC : include skolemization