test if recursive programs throw exceptions