Make semicolon optional after node body
Use properties as proposed candidates during invariant generation