Fix copy-paste and grammar errors

This commit will be squashed.

Author: Petr Bauch

src/goto-symex/symex_target_equation.cpp

@@ -33,7 +33,7 @@ Author: Daniel Kroening, [email protected]
 /// effectively assign the value stored in \c ssa_rhs by another thread to
 /// \c ssa_rhs in the memory scope of this thread.
 /// \param guard: condition to take this read event
-/// \param ssa_rhs: variable to be read from
+/// \param ssa_object: variable to be read from
 /// \param atomic_section_id: ID of the atomic section in which this read
 /// takes place
 /// \param source: pointer to location in the input GOTO program of this read
@@ -59,7 +59,7 @@ void symex_target_equationt::shared_read(
 /// (which will thus become a left-hand side as well): we effectively assign a
 /// value from this thread to be visible by other threads.
 /// \param guard: condition to take this write event
-/// \param ssa_rhs: variable to be written to
+/// \param ssa_object: variable to be written to
 /// \param atomic_section_id: ID of the atomic section in which this write
 /// takes place
 /// \param source: pointer to location in the input GOTO program of this write

src/goto-symex/symex_target_equation.h

@@ -196,7 +196,7 @@ class symex_target_equationt:public symex_targett
   ///
   /// Function calls store \c called_function name as well as a vector of
   /// arguments \c ssa_function_arguments. The \c converted version of a
-  /// variable will contains its version for the SAT/SMT conversion.
+  /// variable will contain its version for the SAT/SMT conversion.
   class SSA_stept
   {
   public: