public static ContractValue condition(ContractValue left, RelationType relation, ContractValue right) {
    return new Condition(left, relation, right);
  }
public static ContractValue condition(ContractValue left, RelationType relation, ContractValue right)