produces:
eucrypt_ch10_oaep_tmsr (eucrypt) eucrypt/smg_keccak/smg_oaep.ads
consumes:
eucrypt_oaep_fix_checks (eucrypt) eucrypt/smg_keccak/smg_oaep.ads