Reducible constraints and phase space extension in the canonical formalism