module Analyzers::CbcMac::VariableLength::Oracles