BranchActions
PCM cannot model branching behavior based that is dependent on a variable. The ProbabilityMassFunction needs to be transformed into a series of StoEx Expressions, each evaluating to true or false. This is not implemented, we warn the user that he has to adjust the probabilities by hand.
Note: Taken from Adrian Hildebrandts thesis