Adding invariants & getDispatchToken method
Adding tests