Verify nested subexpression evaluation