LARA Example for Type Checking class World { boolean z; int u; int f(boolean y) { z = y; if (u > 0) { int z; z = f(u) + 3; return z+z; } else { return 0; } } }