nit: don't generate cons role variable if not specified in the configuration
nit: don't generate cons role variable if not specified in the configuration

plum-umd/pasket,plum-umd/pasket,plum-umd/pasket,plum-umd/pasket,plum-umd/pasket