Issue 26: Check @Param and @Release in method implementations; track parameters through invariants
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
- Make sure that methods actually capture / release parameter permissions.

- Make sure that parameter permissions are preserved in invariants (fixed
fractions)