Spec out high level behaviors for cookbook change detection