let null_expr = mkexpr (JCPEconst JCCnullLoc.dummy_position