vcKnown returns either return true or false when vc is already known (the function and entry lattice is eqal). Check: 1) is the potential value context in the map 2) are the in values equal (TODO verify how to become rid of the second check) Return values: If check 1 && 2 is successfull: true, the k
(vc *ValueContext, params []ssa.Value)