Ambiguous collision outcomes and sliding with infinite friction in models of legged systems | Synapse