Member predicate NextJS::NextJSStaticPropsStep::step

Holds if pred → succ should be considered a data flow edge.