statistics package:liquid-fixpoint

This module implements functions that print out statistics about the constraints.