believe binary subtractor is working, chekcing all paths