Towards Nominal Context-Free Model-Checking