Fixed bug in tseitin transformation, GetFixedVariables in solver