[testub10.git] / abgabe_ai.0

method m(x)
  return -4<x;
end;