Constant HALMOS_CONFIG_PREFIX 

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