When there are zero children, the left and right bounds of the rule are not set correctly. Note that there must be a distinction between an empty set of children, meaning an axiom rule, and children is null, meaning the proposition is a premise of the goal.
When there is one child, the line should extend to the outermost bounds of either the parent or the child.
Parent issue
When there are zero children, the left and right bounds of the rule are not set correctly. Note that there must be a distinction between an empty set of children, meaning an axiom rule, and children is null, meaning the proposition is a premise of the goal.
When there is one child, the line should extend to the outermost bounds of either the parent or the child.