Some internal verifications moved from Utils.lua to terrame.lua