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
if aBra is not a bra-list or is empty
Given a bra-list
aBra, return its tail, i.e the bra-list deprived from its first element.