muJSStatement (JSMethodCall (JSMemberDot receptor _ message) _ params _ _)  = muSend receptor message params
muJSStatement (JSMethodCall (JSMemberDot receptor _ message) _ params _ _)  = muSend receptor message params
muJSStatement (JSMethodCall (JSMemberDot receptor _ message) _ params _ _)  = muSend receptor message params