int f(in x, int y) 

{ 

assert( (x >= 0) && (y >= 0) && ((x > 0) || (y > 0)) );

.....

}