Package org.palladiosimulator.dataflow.confidentiality.pcm.dsexplore.analysis.prolog