refactoring: renaming fake sets to symbolic sets