Start the implementation for finding the closure of production rules.