fixed verify mutable method and added unit tests.