Text this: Uncertainty Problem in High-level Model Based Trace Analysis as Part of Runtime Verification.