Add vals_def condition to Clight at_external/halted
Further progress on RC cleanup