Clite Static Semantic Analysis