Added functions semantic verifications