Language.Fixpoint.Solver.Validate

Validate and Transform FInfo to enforce invariants

validate

Sorts for each Symbol

symbolSorts