Merge "ART: Correctly make methods preverified"