</select>
                      <li><label for="inlining-chk">Inlining</label>
                        <input type="checkbox" id="inlining-chk" bind="${Inlining}">
                      <li><label for="renaming-chk">Renaming</label>
                        <input type="checkbox" id="renaming-chk" bind="${Renaming}">
                      <li><label for="unused-chk">Remove unused</label>
                        <input type="checkbox" id="unused-chk" bind="${RemoveUnused}">
                      <li><label fo