Removed checker stuff. It will remain in checker branch.