[presolve] method to detect vars not participating in any constraints

[presolve] method to detect vars not participating in any constraints #1724