Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models