Extract Variable inside do block should declare it inside

[machaval]

fun isSoapVersion12(xml: Object) = do {
      xml.Envelope.Body.# != null and
        (xml.Envelope.Body.# as Object).uri == "http://www.w3.org/2003/05/soap-envelope"
   
} 

Extract xml.Envelope.Body