Links for contract-analysis