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;
    }
  }
}