On Sat, Mar 14, 2015 at 05:19:16AM +0000, Shankar Kalpathi Easwaran wrote: > I dont think we need a separate visibility field in DefinedAtoms. The visibility is already modeled as part of Scope. That's missing support for PROTECTED, not sure if anyone uses that. Joerg