Separate constraints language
Constraints should be defined as methods in a separate language over the languages on top of which the analysis should be defined.
They can then be imported by the hint language to be used as constraints that need to be satisfied for a hint to be presented.