Rename hw5-2.smv to hw5-2-a.smv