Begin and End marker for marking blocks

`begin` and `end` markers for marking of blocks. 

```java
//@ refine <contract>
//@ begin
int x = xxx;
//@ end
```
This requires a special treatment and post-processor. 

**Waiting for finishing the standard**
