( EXPR1 //= [] )->[ EXPR2 ]