Function parse_body 

fn parse_body(body: &str, params: &[String]) -> Option<DefBody>

Parse the body into a DNF tree. || binds looser than &&.