Concept analysis—a new framework for program understanding | Synapse