size moved to MetaDFA