Added comments on Pbes. Fixed Issue #72