graphs rewritten to WFs