PASS 7/7 native literal-oracle mutation controls
