Variable naming in code checkpoint

Checkpoint for functions mixes the names input_is_valid and ìnput_was_valid

May also be the case in earler checkpoints