constraint 'a = contextinherit 'a Bap.Std.Bili.tmethod eval_trace : Bap_traces.Std.Trace.t -> 'a umethod eval_memory_load : Bap.Std.addr Bap_traces.Std.move -> 'a umethod eval_memory_store : Bap.Std.addr Bap_traces.Std.move -> 'a umethod eval_register_read : Bap.Std.var Bap_traces.Std.move -> 'a umethod eval_register_write : Bap.Std.var Bap_traces.Std.move -> 'a umethod eval_exec : Bap_traces.Std.chunk -> 'a umethod eval_pc_update : Bap.Std.addr -> 'a umethod eval_context_switch : int -> 'a umethod eval_syscall : Bap_traces.Std.syscall -> 'a umethod eval_exn : Bap_traces.Std.exn -> 'a umethod eval_call : Bap_traces.Std.call -> 'a umethod eval_return : Bap_traces.Std.return -> 'a umethod eval_modload : Bap_traces.Std.modload -> 'a u