MSO-formula for Steiner trees added