some fixes for RelationalTowersBuilder.st