Verification State space Reduction through Restricted Parsing Environments