fixed catching cut in queries
implemented +- arithmetics
asserta in assumptions, reject, assumes_i
fixed .is(,,)
updated print_trace
updated checkmate example