add_rule_fg
rule = add_rule_fg(g, spec, flow_act, dest, dest_num, fte_tmp);
rule = add_rule_fg(g, spec, flow_act, dest, dest_num, fte);