Predicate AV Rule 79::badRelease

predicate badRelease(Resource r, Expr acquire, Function functionCallingRelease, int line)