refine fault programm graphs, to model both sides of an error (dualism)