Assertion list
body (aspect of moth ) → CapableOf

Results from Ascent++: 2
bodyCapableOf contract in time 0.68
bodyCapableOf rearrange all the cells 0.25