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 to prioritize constraints by the "source-level" function.