Work

- Fixed Contract for newly added parameters in Document
- Switched from old hardcoded GET parameter filtering to parameter array
of filtering GET parameters
- Fixed unproved Contract by using Contract.Assume