Improved documentation of rule construction

Added diagram and for the "Test rule" for the test rule found in
main.cpp