Property arguments are not supported

```
    property valid_error_pos(error_pos);
      ((error_pos <= 38) && (error_pos >= 0));
    endproperty

    ASSUME_VALID_ERROR_POSITION: assume property (valid_error_pos(error_pos1) && valid_error_pos(error_pos2) && (error_pos1 != error_pos2));
```

Here, I declared a property with arguments and passed the arguments when creating the assumption. This is not getting compiled by the tool.