SEVulDet: Semantics-Enhanced Learnable Vulnerability Detector