JCHPreAPI.invariants_int
method add_invariant : string -> CHLanguage.symbol_t -> CHLanguage.symbol_t -> string -> CHAtlas.atlas_t -> unit
method get_invariant : ?mode:string -> bytecode_location_int -> j_invariant_int