Rename Precondition#passes to #check