Fixed bug on WaspFacade.cpp in case of trivial programs.