An prototype of soft contract verification for an untyped functional language