generate spec filler properly for empty specs
if necessary, properly switch back to decomposed regions before executing after resynthesis