now jimple bodies are created properly in all cases