LAV -find-first-flawed 
//all programs should be verified with default options
