Object protocols as a tool for debugging method call sequencing constraints