let
backward_end_MUX cycle tree = is_MUXor (
List
.nth cycle (
List
.length cycle - 1)) tree