added contracts
PESection implementation improved