Message in Hungarian (magyar)
Sikertelen utófeltétel: <var>X</var>
Unlocalized message
Postcondition failed: <var>X</var>
Search by GoogleSikertelen utófeltétel: <var>X</var>
Postcondition failed: <var>X</var>
Search by Google