Recursion Summary Prog Ex Backend support and log prog ex fixed