Fix #201 There are issues with the fact that a program is valid or not