Inconsistent satisfiability for some word equation problems

[ChenchengLiang]

inconsistency.zip

These files are attached

[pruemmer]

For this file, Ostrich (also in the new modular_proof_rules branch) constructs an incorrect model.

g_01_track_multi_word_equations_eq_5_20_generated_train_5001_10000_9237.smt2.gz