add proof executor with support & testing for 3 operations