Opt1 Opt1If work now
[ok] prasing VarExt correctly. Nicer test [dbg]
useOT validators