Transitionrate under probabassignment

LogicBinop moved as well together with Probability