Properly verify a variable name isn't in use#1061

rok-cesnovar merged 2 commits intomasterstan-dev/stanc3:masterfrom

var-fresh-fixstan-dev/stanc3:var-fresh-fixCopy head branch name to clipboard