Annotations

1. Leaked­To­Result
2. Maybe­Aliased
3. Maybe­Leaked
4. Non­Leaked
5. Unique