Fix precedence for LTLV and LTLU