complete checking of correct operation but without optimization