Adding work-around for apparent Clang bug that causes duplicate visitation of declarations.
Adding support for determining the number of region arguments needed by "atomic" types.
Adding debug output for "unknown number of parameters" error
Merge branch 'asp' into dev/prolog

Conflicts:
	lib/StaticAnalyzer/Checkers/ASaP/SemanticChecker.cpp