rql #110638 [analyze] show probematic domains on error [in-progress]

e.g: we currently see:

TypeResolverException: Unable to resolve variables types in "SET X container_parent Y WHERE X eid 1805L, Y eid 1804"
14:31:55 ** Consistency **
14:31:55 Inconsistency while applying <fd.BinaryExpression "(Y == "Run" and X == "File") or (Y in ('Run', 'ParameterDefinition') [...]

I propose:

TypeResolverException: Unable to resolve variables types in "SET X container_parent Y WHERE X eid 1805L, Y eid 1804"
With X == "Portlet", Y == "PortalColumn"
14:31:55 ** Consistency **
14:31:55 Inconsistency while applying <fd.BinaryExpression "(Y == "Run" and X == "File") or (Y in ('Run', 'ParameterDefinition') [...]
prioritynormal
typeenhancement
done in<not specified>
closed by<not specified>
patch[analyse] show var/domains if there is no solution (closes #110638) [in-progress]