muJSStatement (JSEmptyStatement _)                                          = None
muJSStatement (JSEmptyStatement _)                                          = None
muJSStatement (JSEmptyStatement _)                                          = None