create alias forwards_arm_support (0) -> forward_arm_support (2029)
create alias backwards_arm_support (0) -> backward_arm_support (1206)
create implication forward_arm_support (2029) -> arm_support (20498)
create implication backward_arm_support (1206) -> arm_support (20498)