Constant SAIL_ASSUME 

pub const SAIL_ASSUME: Name;

Function id for the assume primop, which is like a Sail assert but always corresponds to an raw SMT assert.