Eliminate "vass" todos - the first step. Added implementForallIntents.cpp