Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 load_e(Arg1)

 fix_time_args(Arg1, Arg2, Arg3)

 fix_goal(Arg1, Arg2, Arg3)

 brk_on_bind(Arg1)

 assert_axiom_2(Arg1, Arg2)

 is_e_toplevel

 needs_proccess(Arg1, Arg2, Arg3)

 process_ec(Arg1, Arg2)

 convert_e(Arg1)

 set_ec_option(Arg1, Arg2)

 verbatum_functor(Arg1)

 builtin_pred(Arg1)

 s_l(Arg1, Arg2)

 with_e_file(Arg1, Arg2, Arg3)

 convert_e(Arg1, Arg2)

 echo_format(Arg1)

 e_reader_test

 e_reader_test(Arg1)

 e_reader_testf

 e_reader_testf(Arg1)

 echo_format(Arg1, Arg2)

 show_fix_axiom_head(Arg1, Arg2, Arg3)

 lock_ec_pred(Arg1, Arg2)

 falling_edges(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)