generated at
decision diagram