def prop_smc_value_estimate(printer, ast):
    """Prints a value estimate query "E[<=20; 10] ((min|max): x)"."""
    run_count_str = printer.uppaal_c_printer.ast_to_string(ast["runCount"])
    time_bound_str = printer.ast_to_string(ast["timeBound"])
    op_str = ast["op"]
    expr_str = printer.uppaal_c_printer.ast_to_string(ast["expr"])
    return f'E[{time_bound_str}; {run_count_str}] ({op_str}: {expr_str})'