SemAgent: A Semantics Aware Program Repair Agent