let
true_expr = mkexpr (
JCPEconst
(
JCCboolean
true
))
Loc
.dummy_position