Small enhancement to add XO Game invariant

Signed-off-by: Joey Coleman <jwc@eng.au.dk>
update pom.xml from overturetool/overture@48d54514adc5ab901dc16ce503bf68bde52caa2a