lisa/src/main/java/it/unive/lisa/analysis/lattices/FunctionalLattice.java
protected Set<K> lubKeys(Set<K> k1, Set<K> k2) throws SemanticException {
		Set<K> keys = new HashSet<>(k1);
		keys.addAll(k2);
		return keys;
	}
/**
	 * Yields the union of the keys between {@code k1} and {@code k2}.
	 * 
	 * @param k1 the first key set
	 * @param k2 the second key set
	 * 
	 * @return the union between {@code k1} and {@code k2}
	 * 
	 * @throws SemanticException if something goes wrong while lifting the keys
	 */
Yields the union of the keys between  k1 and  k2.

@param k1 the first key set
@param k2 the second key set

@return the union between  k1 and  k2

@throws SemanticException if something goes wrong while lifting the keys
Yields the union of the keys between k1 and k2 . @param k1 the first key set @param k2 the second key set @return the union between k1 and k2 @throws SemanticException if something goes wrong while lifting the keys
protected Set<K> lubKeys(Set<K> k1, Set<K> k2) throws SemanticException {
		Set<K> keys = new HashSet<>(k1);
		keys.addAll(k2);
		return keys;
	}
protected Set < K > lubKeys ( Set < K > k1 , Set < K > k2 ) throws SemanticException { Set < K > keys = new HashSet < > ( k1 ) ; keys . addAll ( k2 ) ; return keys ; }
Yields the union of the keys between {@code k1} and {@code k2}.
Yields the union of the keys between { @code k1 } and { @code k2 } .