Local Unset Elimination Schemes in Overture, with documentation