consumes, produces, satisfiable.produces.isDerived(), satisfiable.methodRouting);
consumes, produces, satisfiable.produces.isDerived(), satisfiable.methodRouting);
consumes, produces, satisfiable.produces.isDerived(), satisfiable.methodRouting);
consumes, produces, satisfiable.produces.isDerived(), satisfiable.methodRouting);
consumes, produces, satisfiable.produces.isDerived(), satisfiable.methodRouting);
consumes, produces, satisfiable.produces.isDerived(), satisfiable.methodRouting);
consumes, produces, satisfiable.produces.isDerived(), satisfiable.methodRouting);