rm from GRSpec.check_vars the check for var name in domain

This checked for the use of a variable name as value in the domain of any string variable.
check variable domains for ambiguity in infer_constants, or raise warning

the warning is raised in case that only variable names are given, and not their domains.