Verified Nishinari MT model with MicrotubuleProcess