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

supported-ops |x> => |op: op1>
op1 |x> => |a> + 2.000|b> + 5.000|c> + 2.000|d>

supported-ops |y> => |op: op1>
op1 |y> => |b> + 0.300|c>

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

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

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

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

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

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

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