1 
const KEYWORDS: [&str; 24] = [
2 
    "forall",
3 
    "exists",
4 
    "such",
5 
    "that",
6 
    "letting",
7 
    "find",
8 
    "minimise",
9 
    "maximise",
10 
    "subject",
11 
    "to",
12 
    "where",
13 
    "and",
14 
    "or",
15 
    "not",
16 
    "if",
17 
    "then",
18 
    "else",
19 
    "in",
20 
    "sum",
21 
    "product",
22 
    "bool",
23 
    "pareto",
24 
    "minimising",
25 
    "maximising",
26 
];
27 

            

        

            

                28
            

            

                48012
            

            

                
pub fn is_keyword_identifier(identifier: &str) -> bool {

            

        

            

                29
            

            

                48012
            

            

                
    KEYWORDS.contains(&identifier)

            

        

            

                30
            

            

                48012
            

            

                
}