data/rumur-2020.09.06/librumur/src/parser.yy:442: mdoels ==> models
data/rumur-2020.09.06/rumur/src/generate-expr.cc:190: quanitified ==> quantified
data/rumur-2020.09.06/rumur/src/generate-model.cc:1192: ony ==> only
data/rumur-2020.09.06/rumur/src/generate-model.cc:1346: ony ==> only
data/rumur-2020.09.06/tests/scalarset-cex.m:2: ba ==> by, be