Local (i.e., Private) is disjoint from other regions.
Removing RUN configuration intended only for the inference branch.
Merge branch 'asp' into dev/prolog

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