Reasoning About Agents' Interaction Protocols Inside DCaseLP