let
acsl_null =
let
name = check_acsl_name
"\\null"
in
Fol
.
Tapp
(name, [])