create alias forwards_arm_support (0) -> forward_arm_support (1844)
create alias backwards_arm_support (0) -> backward_arm_support (1108)
create implication forward_arm_support (1844) -> arm_support (19861)
create implication backward_arm_support (1108) -> arm_support (19861)