- Fixed bug w.r.t !=
- Fixed minor optimization bug