produces:
ch2_truerandom (eucrypt) eucrypt/smg_rsa/include/knobs.h
consumes:
eucrypt_ch3_miller_rabin (eucrypt) eucrypt/smg_rsa/include/knobs.h