Constant HALMOS_CONFIG_PREFIX 

pub const HALMOS_CONFIG_PREFIX: &str = "@custom:halmos";