Test.Extrapolate.Exprs

canonicalizeWith

grounds

groundsAndBinds

vassignments

vars

fold

unfold

isAssignmentTest