Simplified WITH-RECURSIVE