As title says. One solution would be to replace write/1 calls by dummy predicates that are always true.
As title says. One solution would be to replace write/1 calls by dummy predicates that are always true.