def prop_smc_sim_accept_runs(printer, ast):
    """Prints a simulate query "simulate n [<= t] {obs_vars} : n : (pred)"."""
    simulate_str = printer.ast_to_string(ast["simulate"])
    accept_bound_str = printer.uppaal_c_printer.ast_to_string(ast["acceptBound"])
    pred_str = printer.ast_to_string(ast["predicate"])
    return f'{simulate_str} : {accept_bound_str} : ({pred_str})'