switch to version::is_lax plus tests