Tagged contract-modeling