Correctness fix: code needs to be invalidated when compilation-final field is set

Signed-off-by: Stefan Marr <git@stefan-marr.de>