Simplifying Runtime Verification of Distributed Programs