fix bug (I think) in definition of FV_prog

long names referring to previously declared modules should not be
considered "free".