Now Gobstones interpreter run type and liveness check when checking programs.