`sweepFragments` not given declarations

In the file `Server/Handler/GCL/Refine.hs`, the function `sweepFragment` calls `runWP` with arguments
```
runWP
      (structStmts Primary (pre, Nothing) impl post)
      (Map.empty, []) -- SCM: this can't be right.
      counter
```
The `(Map.empty, [])` is supposed to be declarations in the main programs. I put `(Map.empty, [])` there temporarily, and it should be fixed later.