implemented a non-tainting fix for assignments which are not references, but value copies