This module contains the code for generating tags for constraints based on their source, i.e. the top-level binders under which the constraint was generated. These tags are used by fixpoint in Language.Haskell.Liquid.FixInterface to prioritize constraints by the source function.