no pongas empty porque esa funcion, creo, que te dara si no tiene nada. Si alguien, por pura maldad, le pone un blanca te mostrara solamente el Hola:. Pone lo que te dije antes isset.
Código PHP:
if(isset($_SESSION['usuario_id'])) {
$usuario=$_SESSION['usuario_login'];
echo "Bienvenido: ".$usuario;
} else {
include("formulario_login.php");
}
saludos