python defensive programming

• PyContracts
• every if should always have an else
• use assert
• use unit test