[mzl]

Guess-and-check is usually another term for generate-and-test, which explicitly does not do propagation.