If they fill out a form that is a local asset within a program, then yes, they are automatically added to that program. In fact, for this reason I keep some of my forms in design studio so that I can better control the progression statuses with flow steps like you are doing.