Sugerir una corrección · smt-decomp