package jetbrains.mps.analyzers.sandbox.test; /*Generated by MPS */ public class Ff { public Ff() { } public void f() { String s = ""; if (s != null) { System.out.print(s); } for (int i = 0; i < 3; i++) { if (null == s) { return; } } } }