Assertion list
use (aspect of metal ) → AtLocation

Results from Ascent++: 1
useAtLocation catalytic converters 0.53