public static int METHOD_1 ( int num ) { <BUG> while ( ! ( TYPE_1 . METHOD_2 ( num ) ) ) {num ++ ;</BUG> } <BUG> return num ;</BUG> }
public static int METHOD_1 ( int num ) { int result = num ; while ( ! ( TYPE_1 . METHOD_2 ( result ) ) ) { result ++ ; } return result ; } 
