Added functions to get back variables declared within patterns and boolean operations