Free occurrences/closed terms