Some more tests around the abstract base rule