/**
* Returns an unmodifiable view of the union of the patterns, functions and variables multisets.
*
* @see org.kframework.kil.CollectionBuiltin#baseTerms
*/
public Multiset<Term> baseTerms() {
return Multisets.union(
Multisets.union(collectionPatterns, collectionFunctions), collectionVariables);
}
