Make conform static signature with contracts