updated funcDec and good-programs.