verified gprolog func number is unchanged