reduced strictness of runRewriteGraphST
reduce strictness for runRewriteGraphST
benchmarks