Reject programs with subroutines, which are totally broken at the moment (all program flows return when any program flow returns, and the VS also hangs if a function call calls a function.