random lifted to genImprobDecl