option to propagate locals