InformationFlowSlicing

NonInterferenceIntra

LiftingIntra

NonInterferenceWhile