Constant RESOURCE_URI_PRESSURE 

pub const RESOURCE_URI_PRESSURE: &str = "lean-ctx://context/pressure";