- add_abd_var(++Environment:int, ++ProbabilityDistribution:list, ++Rule:int, -Variable:int) is det
- Returns in Variable the index of a new abducible random variable in Environment with
NumberOHeads values and probability distribution ProbabilityDistribution.