muJSStatement (JSLabelled _ _ statement)                                    = muJSStatement statement
muJSStatement (JSLabelled _ _ statement)                                    = muJSStatement statement
muJSStatement (JSLabelled _ _ statement)                                    = muJSStatement statement