Allow false value for Program.solved