Previously declared variable is used
Strong verdict is now saved
Fixed bug in guard of Java 1-1
qVarMatchesBinding is invoked only if a value for the quantified
variable was passed to the getNextConfig method