Feature/context sensitive ait merge 2#2622

Merged

martin-cs merged 5 commits intodiffblue:developfrom

martin-cs:feature/context-sensitive-ait-merge-2

Aug 2, 2018

Commits on Jul 27, 2018

Refactor the methods that access "the abstract domain at a location".
martin
committed
Convert various older domains to use the more recent ait API.

martin
authored and
martin
committed
Add comments to the abstract interpreter interface.
martin
committed
Convert various comments, asserts and throws into invariants.
martin
committed
Strengthen the invariant on what are acceptable function calls.
martin
committed