optimized the lemmas that have to do with pure parent plans and child/parent mixed sequences to 1300 lines