NetKAT verification hacking (forward function)