Fixed AST integrity bug in post condition POs.