More cleanup - check_pred -> check_asn - switch_pred_clause -> switch_asn_clause; SwitchPredClause -> SwitchAsnClause - introduced WSwitchAsn, which records the inductive type name - further cleaning up after Cedric: eliminating (pn,ilist) parameters from functions that don't need them. Eliminated them from consume_chunk, consume_asn_core, produce_asn_core. Are not needed in this phase since after type checking, all names are fully resolved (i.e. fully qualified with package names). TODO: eliminate them from more places.
More cleanup
- check_pred -> check_asn
- switch_pred_clause -> switch_asn_clause; SwitchPredClause -> SwitchAsnClause
- introduced WSwitchAsn, which records the inductive type name
- further cleaning up after Cedric: eliminating (pn,ilist) parameters from functions that don't need them. Eliminated them from consume_chunk, consume_asn_core, produce_asn_core. Are not needed in this phase since after type checking, all names are fully resolved (i.e. fully qualified with package names). TODO: eliminate them from more places.

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast