Reports conditions that are statically known to be constant