true error method

non symmetric bilinear forms work with true error,
but a posteriori estimator and dual problem to be implemented