Infer issue not being detected - CHECKERS_CALLS_EXPENSIVE_METHOD

This infer bug is being detected in the Java code below, CHECKERS_CALLS_EXPENSIVE_METHOD, with version 1.0.0 and the --annotation-reachability flag, but it's not being detected when scanned with infer 1.2.0.

Is this a known issue, and will the documentation be updated if a different flag is used?

`````````
import com.facebook.infer.annotation.*;

class C {
@PerformanceCritical
void perfCritical() {
expensive();
}
@Expensive
void expensive() {}
// BUG: CHECKERS_CALLS_EXPENSIVE_METHOD

public void showBug() {
perfCritical();
}
}
`````````

Command:
infer run --annotation-reachability -- javac C.java