replacing all contracts with a dummy lambda