All Smart Contracts are Ambiguous