----------------------------------------
|context> => |context: sw console>

supported-ops |x> => |op: op1> + |op: op2> + |op: op3>
op1 |x> => |a> + 2.000|b> + 5.000|c> + 2.000|d>
op2 |x> => 0.200|a> + 0.300|b> + 0.500|e>
op3 |x> => 0.100|b> + 0.100|a> + 0.100|c> + 0.200|d>

supported-ops |op: op1> => |op: inverse-supported-ops>
inverse-supported-ops |op: op1> => |x>

supported-ops |op: op2> => |op: inverse-supported-ops>
inverse-supported-ops |op: op2> => |x>

supported-ops |op: op3> => |op: inverse-supported-ops>
inverse-supported-ops |op: op3> => |x>

supported-ops |a> => |op: inverse-op1> + |op: inverse-op2> + |op: inverse-op3>
inverse-op1 |a> => |x>
inverse-op2 |a> => |x>
inverse-op3 |a> => |x>

supported-ops |b> => |op: inverse-op1> + |op: inverse-op2> + |op: inverse-op3>
inverse-op1 |b> => |x>
inverse-op2 |b> => |x>
inverse-op3 |b> => |x>

supported-ops |c> => |op: inverse-op1> + |op: inverse-op3>
inverse-op1 |c> => |x>
inverse-op3 |c> => |x>

supported-ops |d> => |op: inverse-op1> + |op: inverse-op3>
inverse-op1 |d> => |x>
inverse-op3 |d> => |x>

supported-ops |e> => |op: inverse-op2>
inverse-op2 |e> => |x>

supported-ops |op: inverse-supported-ops> => |op: inverse-supported-ops>
inverse-supported-ops |op: inverse-supported-ops> => |op: op1> + |op: op2> + |op: op3> + |op: inverse-supported-ops> + |op: inverse-op1> + |op: inverse-op2> + |op: inverse-op3>

supported-ops |op: inverse-op1> => |op: inverse-supported-ops>
inverse-supported-ops |op: inverse-op1> => |a> + |b> + |c> + |d>

supported-ops |op: inverse-op2> => |op: inverse-supported-ops>
inverse-supported-ops |op: inverse-op2> => |a> + |b> + |e>

supported-ops |op: inverse-op3> => |op: inverse-supported-ops>
inverse-supported-ops |op: inverse-op3> => |a> + |b> + |c> + |d>
----------------------------------------