Call delete_const on helper constant used in lbtreeScript.

That we can do this is thanks to the work done on issue #73, which
ensures that computeLib doesn't have its theorem-set information
invalidated. Previously we just hid the constant from the parser,
which is not such a good solution.