Validate assumption in VAR initial algebraic method, and add algebraic test cases