https://monodes.com/predaelli/2017/02/21/halting-problem-on-vala/