*Flag added in method 'getNextConfig' to indicate that a quantified
variable value was passed, in the cases without FixedQVar optimisation
*Quantified variable value sent to Guard.check