Finished writing and debugging forward checking