Use MealyElements in Branch approach.
Documentation added
Minor change.