LAV -find-first-flawed 
//all programs are verified with default options except 02a


