Added a proof obligation generator to simplify the creation of many similar sequents