Issue 16: releasedFrom attribute is ignored
Project Member Reported by kevin.bi...@gmail.com, Sep 23, 2008
Permissions can be released twice, once explicitly and once implicitly,
because the releasedFrom attribute is ignored in implicit release.  For
example, a close() method may release:

@Param(name = "p", releasedFrom = "open")
interface I {

@Full(requires = "open", ensures = "closed")
@Release("p"
close();

}

After calling close, the "p" parameter may still be released because the
"open" releasedFrom attribute is currently ignored