An attempt to save sat queries when checking variablized programs.
Adding an example based on gcd from GenProg.