"peterson.bcg" = strong reduction of generation of "peterson.lotos";