checking expression semantic