Added support for init directive and branching during assertion through init trees