Adding class to load the proof obligations from *.pmm file from AtelierB