simplify interface / already inherited methods

Author: swissiety

idealPDS/src/main/java/typestate/TransitionFunction.java

@@ -25,8 +25,4 @@ public interface TransitionFunction extends Weight {
   @NonNull Collection<Transition> getValues();
 
   @NonNull Set<ControlFlowGraph.Edge> getStateChangeStatements();
-
-  @NonNull Weight extendWith(@NonNull Weight other);
-
-  @NonNull Weight combineWith(@NonNull Weight other);
 }