small refinement of local isogeny test