There may be ongoing study on how to use official verification to express and confirm non-trivial Attributes. A Microsoft Exploration report noted that producing solid wise contracts might be exceptionally tricky in apply, using The DAO hack As an example this issue. It looks like you were misusing this feature http://community98765.blogs100.com/6108719/japan-options