Involutive constrained systems and Hamilton-Jacobi formalism