added presolver that removes constraints with no variables