The trait abstract for particular verification
The bit flags for particular process block verify
Trait for verification