A three-valued type system for true positives detection in Java-like languages