Added testcases for all abstractions.