Remove the read-write benign check under parametric flow
work