Given a bra-list aBra, return its tail, i.e the bra-list deprived from its first element.
aBra
the bra-list to consider
the tail of aBra
Given a bra-list
aBra
, return its tail, i.e the bra-list deprived from its first element.