Generalising KAT to verify weighted computations - Gomes, Leandro (2019)