Print syscall name together with state

This prints which syscall follows the current state to be able to label
the edges properly.