M/having analysis

You could have used assertLiteralSymbol for these kind of assertions