Rename *ll* and *ul* to ll and ul in $defint