let basename = function | Integer -> "k" | Real -> "z" | Boolean -> "c" | Pointer -> "p" | ADT(id,_) | Record id -> LogicId.basename id | Array _ -> "A" | Set _ -> "S" | ALPHA _ -> "x"