Nodes with inputs, outputs, local variables, contracts and properties