Implemented ConstrL in MDFS, improved StackVertex handling

Implemented most of missing functions in ABVertex
Changed ABVertex and StackVertex usages at points to allow traversing
the MDFS search tree