ART: Check dex file constraint A1

Test: TODO
Change-Id: I77d6c7e4d6cf47fdc0268326b30808b56b59b813
1 file changed