add statement contracts