Implementation of the DFASAT algorithm in Go