add message to EXTLocation to supply value for koszul sign rules