Up to date

Line 174 is too long: "      is_integer(Decay_Prob),             Decay_Prob    >= 0, Decay_Prob =< 1000000 ->".