Fault definition for send/recv statement

## Example

```go
fault @omission send(ch channel { bool }, val int) {
  // do nothing
}

proc SendProc(ch channel { bool }) {
  send(ch, 1) @omission
}
```

WORK IN PROGRESS