added some functions for looking at the relationships between prop formulas; fixed typo in fml_to_str