Undocumented predicates

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

 initial_state(Arg1, Arg2)

 state_space(Arg1, Arg2, Arg3)

 set_context(Arg1, Arg2, Arg3)

 set_context(Arg1, Arg2, Arg3, Arg4)

 get_context(Arg1, Arg2)

 get_context(Arg1, Arg2, Arg3)

 get_context(Arg1, Arg2, Arg3, Arg4)

 del_context(Arg1, Arg2, Arg3)

 del_context(Arg1, Arg2, Arg3, Arg4, Arg5)

 inc_context(Arg1, Arg2, Arg3, Arg4)

 dec_context(Arg1, Arg2, Arg3, Arg4)

 inc_state(Arg1, Arg2, Arg3, Arg4)

 state_warn(Arg1, Arg2, Arg3)