11 3 our method is applicable to arbitrary recursive programs