Itrees are now extended to full solutions (i.e., winning strategies)