updated regression tests to latest boogie tests