create alias forwards_arm_support (0) -> forward_arm_support (1495)
create alias backwards_arm_support (0) -> backward_arm_support (939)
create implication forward_arm_support (1495) -> arm_support (18178)
create implication backward_arm_support (939) -> arm_support (18178)