Add wdd rewrite for bool expression of edge on protocol graph