#1 requires this. https://github.com/AlecGower/LGEMPlus/blob/f8f0caab6ba41e965c382b9f1d502fe9a9a622e1/src/helpers/abduction/LMtoFBA_proof.py