Constant ASSERT_THEORY_IS_FALSE 

pub const ASSERT_THEORY_IS_FALSE: &str = "The theory is false";