Add symbolic evaluation for is_tuple/1