ramsey_model: Fix error message logic

Johannes Pfeiferrequested to merge
JohannesPfeifer/preprocessor:ramsey_logic into master

one of the statements being present is sufficient

Merge request reports