Language.Fixpoint.Solver.Validate

Transform FInfo to enforce invariants

sanitize

Sorts for each Symbol

symbolSorts