Dalvik deobfuscator and semantic simplifier