Construction sequences and certifying 3-Connectedness