Bugfix: Arguments, Loads and return values must be set to Bad explicitly