Assumption-Based Runtime Verification of Infinite-State Systems