to debug local inextensible constraint