CD-k cost

I think I figured everything out correctly.

I decided to write additional methods to make symbolic states instead of adding a flag because the flag made the code less readable.