Allow a different forward and backward edge order for CIF data-based synthesis

Currently, CIF data-based synthesis uses the same edge order when computing forward or backward reachability. This is likely not optional. We should consider using different orders for both of them.

Alternatives to consider:

• Just reverse the order for one of them.
• Allow specifying, with options, the orders separately.