moved functions related to region bits to LTLRegion.py under LTLParser. Finish request functions for envSafety and envLiveness