static inline void ReThrow(const ESException& Ex, const SourceLocation& Loc) { throw SynthLib2Exception(Loc.GetLineNum(), Loc.GetColNum(), Ex.what()); }