Implement equals() in Transition to ignore duplicates

[grallm]

Because we don't want duplicated transitions (same Origin, Symbol and Target) we can add an equals() method to use the power of Java's Set