An prototype of soft contract verification for an untyped functional language - View it on GitHub