add ">", "<", "<=" & ">="
fix message
small simplify
- delete check-sat
- create get-model