Strictification of weak Lyapunov functions for difference inclusions with application to optimal control