Allow no body
Added code to show CFG expansion and combine base rules with generated rules