./Ultimate.py --spec ../sv-benchmarks/c/properties/unreach-call.prp --file ../sv-benchmarks/c/weaver/chl/container-subst.wvr.bpl --full-output


--------------------------------------------------------------------------------


--architecture is required