First attempt at incorporating LFSC proof checker into CVC4.