Differentiating between Miku Pro and Miku Original