refactor naming
link
tighten for inferredConstCheck