Added focusing code and locateMMLhelper() for mfenced MML element