Loading Feature-Aware Verification.