<> <> <> <> <> <> DIRECTORY YggEnvironment; YggRecoveryPassProcs: CEDAR DEFINITIONS = BEGIN <> <> <> <> <> CalledBeforeAnalysisPass: PROC [ ]; <> <> CalledAfterAnalysisPass: PROC []; CalledBeforeUpdatePass: PROC []; CalledAfterUpdatePass: PROC []; END. <> <> <<>>