JS: Improve join orders related to getABooleanValue()

Author: asgerf

javascript/ql/lib/semmle/javascript/dataflow/AbstractValues.qll

@@ -57,6 +57,7 @@ class AbstractValue extends TAbstractValue {
    * Gets the Boolean value some concrete value represented by this
    * abstract value coerces to.
    */
+  pragma[nomagic]
   abstract boolean getBooleanValue();
 
   /**

javascript/ql/lib/semmle/javascript/dataflow/TypeInference.qll

@@ -92,10 +92,15 @@ class AnalyzedNode extends DataFlow::Node {
   PrimitiveType getAPrimitiveType() { result = this.getAValue().toPrimitive().getType() }
 
   /** Gets a Boolean value that this node evaluates to. */
+  bindingset[this]
+  overlay[caller?]
+  pragma[inline_late]
   boolean getABooleanValue() { result = this.getAValue().getBooleanValue() }
 
   /** Gets the unique Boolean value that this node evaluates to, if any. */
-  boolean getTheBooleanValue() { forex(boolean bv | bv = this.getABooleanValue() | result = bv) }
+  overlay[caller?]
+  pragma[inline]
+  boolean getTheBooleanValue() { result = unique( | | this.getABooleanValue()) }
 
   /** Gets the unique type inferred for this node, if any. */
   InferredType getTheType() { result = unique(InferredType t | t = this.getAType()) }