README.md — what this module is Mirrored from subprojects/xcfa/litmus2xcfa/README.md — edit it there, not here. TODO