Improved optional precedences driven by composition