now 'finite' is implemented in PyContracts