Begin and End marker for marking blocks

[wadoon]

begin and end markers for marking of blocks.

//@ refine <contract>
//@ begin
int x = xxx;
//@ end

This requires a special treatment and post-processor.

Waiting for finishing the standard