[analyse] show var/domains if there is no solution (closes #110638) [rejected]