The Model Says Walk: How Surface Heuristics Override LLM Reasoning Constraintsarxiv.org 1timssopomo5modiscuss