t6031: generalize for recursive and resolve strategies