Return the evaluation of the formula in worlds of the KS.
Return the evaluation of the formula in worlds of the KS.@pre the model checking procedure should be completed before
worldNum
items containing the evalutation
of the formula in the corresponding KS's world