Don't use LociMap[Unit] in LociSet