use implications to encode while and break filters