Add the start of a script that determines whether any variables are forced in a SAT instance.