added test case for invalid inputs handled by version::is_lax