Lima/minor changes

A few small changes:

• remove spurious #include from SpecializedTrd
• add parenthesis to boolean operations, to make ordering explicit (thanks Philippe for pointing it out)
• add few more unit tests to the default Jenkins build