tas:find_with_constraint bug correction