Precondition may be used multiple times in PO. Clone it.