More exhaustive ABC notation tests.