Model-completeness for a dense linear order in weak monadic second order logic