benchmark classical B model :  structure