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