which aims at Adding bddrand, simple front-end to the lutin Random toss machinary (the log msg was wrong).