Constant assume 

pub const assume: Symbol;