introduce source element for the empty statement (fixes #12)
fix attribute error in visitor when verbose flag is not set