Tseytin_transformation loading ...