Untransformed recursive calls are now properly reported