Semi-formal reasoning helps agents reason about code without executing the code