New: added ExceptionsLib1 and ContractLib2